241. Semantics of programming languages and model theory
پدیدآورنده :
موضوع : ، Programming languages )Electronic computers(-- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
242. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
Author: edited by R. B. Jensen and A. Prestel
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Set theory,Congresses ، Model theory
Classification :
QA
3
.
L28
Vol
.
872
243. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
Author: edited by R.B. Jensen and A. Prestel
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Set theory - Congresses,Model theory - Congresses
Classification :
QA
.
L28
,
no
3
.
872
244. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
Author: edited by R.B. Jensen and A. Prestel
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Set theory,Congresses ، Model theory
Classification :
QA
248
.
S4
1979
245. Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1-3, 1979
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Set theory,Congresses ، Model theory
Classification :
QA
3
.
L28
no
.
872
246. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
Author: edited by R.B. Jensen and A. Prestel
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Set theory,Congresses ، Model theory
Classification :
QA
1
.
L4
v
.
872
247. Set theory and model thoery: proceedings of an informal symposium held at Bonn, June 1-3, 1979
Author: edited by R.B. Jensen and A. Prestel
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Set theory,Model thoery - Congresses
Classification :
QA
3
.
L28
no
.
872
248. Signalling theory embedded in the throughput model to exaine the influence of culture upon external auditors' reliance on the internal audit function
Author: Albawwat, Ibrahim Emair
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business
249. Signs, mind, and reality: a theory of language as the folk model of the world
Author: Shaumyan, Sebastian.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Semiotics,Philosophy ، Language and languages,، Structural linguistics,، Linguistic analysis )Linguistics(
Classification :
P
99
.
S462
2006
250. Srinivasan model /-Solow-Turnpike theory for the Robinson
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Turnpike theory (Economics) ;
251. Studies in model theory
پدیدآورنده : Morley, Michael Darwin, 0391-
موضوع : ، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
252. Studies in model theory
Author: Morley, Michael Darwin
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Model theory
Classification :
QA
9
.
7
.
M67
253. Studies in model theory
Author: MORLEY,MICHAEL DARWIN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MODEL THEORY
Classification :
QA
9
.
7
.
S78
254. Studies in model theory
Author: )by( Jon Barwise )and others( M. D. Morley, editor
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Model theory
Classification :
QA
9
.
7
.
S78
255. Studies in model theory
Author: M. D. Morley, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Model theory
Classification :
QA
1
.
S78
Vol
.
8
256. Supersymmetry and string theory: beyond the standard model
Author: Dine, Michael
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Supersymmetry,، String models
Classification :
QC
174
.
17
.
S9
.
D56
2007
257. Supersymmetry and string theory: beyond the standard model
Author: Dine, Michael.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Supersymmetry,، String models
Classification :
QC
174
.
17
.
S9
D56
2007
258. Supersymmetry and string theory : beyond the standard model
Author: Dine, Michael
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Supersymmetry,، String models
Classification :
QC
174
.
17
.
S9D56
2015
259. Supersymmetry and string theory : beyond the standard model
Author: Dine, Michael
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Supersymmetry,، String models
Classification :
QC
174
.
17
.
S9D56
260. The Model theory of groups
Author: Ali Nesin and Anand Pillay, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Group theory
Classification :
QA
171
.
M63
